منابع مشابه
Hasta-La-Vista: Termination Analyser for Logic Programs
Verifying termination is often considered as one of the most important aspects of program verification. Logic languages, allowing us to program declaratively, increase the danger of non-termination. Therefore, termination analysis received considerable attention in logic programming (see e.g. [7, 8, 10, 16]). Unfortunately, the majority of existing termination analysers, such as TermiLog [15], ...
متن کاملModelado de la agregación de portlets por medio de statecharts
Resumen. El portal proporciona integración a través del interfaz gráfico (front-end), mientras que otras tecnologías soportan integración a través de los datos o de los procesos (back-end). La sindicación de portlets (aplicaciones front-end) sigue la estela de la sindicación de contenidos. El portal sería un contenedor de portlets, para proporcionar aplicaciones de mayor calado. La agregación d...
متن کاملResolución de la ambigedad léxica mediante aprendizaje por cuantificación Vectorial
PhD thesis in Computer Science written by Manuel Garćıa Vega under the supervision of Dr. L. Alfonso Ureña López (Univ. of Jaén). The author was examined in December 2006 in Jaén by the committee formed by Miguel Toro Bonilla (Univ. of Sevilla), Manuel Palomar Sanz (Univ. of Alicante), Lidia Moreno Boronat (Univ. Politécnica of Valencia), Andrés Montoyo Guijarro (Univ. of Alicante) y Maŕıa Tere...
متن کاملAnálisis sintáctico ascendente de TAGs guiado por la esquina izquierda
Resumen Definimos un nuevo analizador para Gramáticas de Adjunción de Árboles (TAGs, Tree Adjoining Grammars) que es una extensión del analizador ascendente guiado por la esquina izquierda para Gramáticas Incontextuales (CFGs, Context Free Grammars). La complejidad temporal teórica del nuevo analizador permanece en la cota del análisis de TAGs, siendo ésta de O(n6) en el peor de los casos, dond...
متن کاملCompassion in Schopenhauer and Śāntideva
Although it is well known that Schopenhauer claimed that Buddhism closely reflected his own philosophy, this claim was largely ignored until the mid-late Twentieth century. Most commentators on Schopenhauer (with some recent exceptions) since then have mentioned his Buddhist affinities but have been quite broad and general in their treatment. I feel that any general comparison of Schopenhauer’s...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Agora: papeles de Filosofía
سال: 2016
ISSN: 2174-3347,0211-6642
DOI: 10.15304/ag.36.1.2923